is Theory of Computation Important to Study